Estimating verification time

Safety Verification of Real Time Systems Serving Periodic Devices

In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...

Estimating the Available Water in the Watershed using System Dynamics Hydrological Model (Case Study: Ilam Watershed)

Hydrological models provide water managers with the available amount of water in the watershed. In this paper, we firstly developed a system dynamics model to calculate the available amount of water in the watershed. Then, we defined two scenarios one of which is the development scenario describing how land use changes can affect water availability in the watershed. Next, we divided the watersh...

Runtime verification of programs using rule-based active system

Estimating Plant Dry Matter Productivity for AL-Sweeda Badia Rangeland (Syria) at Deferent Processing Levels of BKA, KVA Satellite Images

Estimation of plant dry matter to management of rangelands fast as well as high accuracy is important for managers. Research aims to compare Plant Dry Matter Productivity (PDMP) values estimated by Normalized Difference Vegetation Index (NDVI) derived from satellite images BKA, KVA according to different levels of satellite image processing, for AL-Sweeda Badia (Syria), during the April, July o...

Estimating Event Lifetimes for Distributed Runtime Verification

Runtime system verification has been proposed as a form of dynamic verification of software systems which can be applied in settings where complete static verification or exhaustive system testing is not practical. Runtime verification checks properties against runtime events generated during the operation of a system. Current approaches to runtime verification assume that runtime events are ti...